Proof that π is irrational